Validation of Stochastic Systems - A Guide to Current Research
- Författare
- (Edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2004 | Tyskland, Berlin, Heidelberg | 1 online resource (VIII, 470 sidor.) |